More from this Author

Automated Reasoning

by Didier Galmiche (Editor), Stephan Schulz (Editor), Roberto Sebastiani (Editor)

Theory and Applications of Satisfiability Testing -- SAT 2012

by Alessandro Cimatti (Editor), Roberto Sebastiani (Editor)

Frontiers of Combining Systems

by Silvio Ghilardi (Editor), Roberto Sebastiani (Editor)